b:. ((b) = b)  False 

latex

ProofTree

Definitions	left + right, Unit, b, A, b, Void, , tt, ff, t  T, s = t, , x:A. B(x), x:A  B(x), x:AB(x), P  Q, P & Q, P  Q, P  Q, False
Lemmas	false wf, inconsistent-bool-eq, iff functionality wrt iff, inconsistent-bool-eq2, bfalse wf, btrue wf, bool wf, assert wf, not wf, bnot wf, assert of bnot, eqff to assert, iff transitivity, eqtt to assert